More from this Author
Found 3 books by Kazuhiro Ogata (Editor)

Formal Methods and Software Engineering
by Kazuhiro Ogata (Editor), Mark Lawford (Editor), Shaoying Liu (Editor)

Specification, Algebra, and Software
by Shusaku Iida (Editor), José Meseguer (Editor), Kazuhiro Ogata (Editor)

Specification, Algebra, and Software
by Shusaku Iida (Editor), Jose Meseguer (Editor), Kazuhiro Ogata (Editor), José Meseguer (Editor)